gdm: allow user to switch VTs 8 through 12

mutter now supports keybindings for VTs 8 through 12.

This commit makes them work from the login screen.

https://bugzilla.gnome.org/show_bug.cgi?id=744800

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 45edf3ac2c224caef68926b8c3e24a31d782df72..1319fbbef85ba50563e901bca0fc915093368a5a 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -659,6 +659,11 @@ const WindowManager = new Lang.Class({
         this.allowKeybinding('switch-to-session-5', Shell.ActionMode.ALL);
         this.allowKeybinding('switch-to-session-6', Shell.ActionMode.ALL);
         this.allowKeybinding('switch-to-session-7', Shell.ActionMode.ALL);
+        this.allowKeybinding('switch-to-session-8', Shell.ActionMode.ALL);
+        this.allowKeybinding('switch-to-session-9', Shell.ActionMode.ALL);
+        this.allowKeybinding('switch-to-session-10', Shell.ActionMode.ALL);
+        this.allowKeybinding('switch-to-session-11', Shell.ActionMode.ALL);
+        this.allowKeybinding('switch-to-session-12', Shell.ActionMode.ALL);
 
         this.setCustomKeybindingHandler('switch-to-workspace-left',
                                         Shell.ActionMode.NORMAL |